Notes on Abstract Interpretation ∗
نویسنده
چکیده
منابع مشابه
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination
We illustrate the design of correct semantics-based program transformations by abstract interpretation on blocking code elimination.
متن کاملAbstract Interpretation From a Denotational-semantics Perspective
interpretation from a denotational-semantics perspective
متن کاملAbstract Interpretation of Functional Programs using an Attribute Grammar System
Interpretation of Functional Programs using an Attribute Grammar System
متن کاملAbstract Interpretation and Object-oriented Programming: Quo Vadis?
Interpretation and Object-oriented Programming: Quo Vadis?
متن کاملRelational Analysis and Precision via Probabilistic Abstract Interpretation
Within the context of a quantitative generalisation of the well established framework of Abstract Interpretation – i.e. Probabilistic Abstract Interpretation – we investigate a quantitative notion of precision which allows us to compare analyses on the basis of their expected exactness for a given program. We illustrate this approach by considering various types of numerical abstractions of the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001